大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

0
索取号：
作者：脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

0
索取号：
作者：Rahaman、 Hafizur.、Chattopadhyay、 Sanatan.、Chattopadhyay、 Santanu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

New Directions in Logic, Language and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

0
索取号：
作者：Lassiter、 Daniel.、Slavkovik、 Marija.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号：
作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Characterization and Authentication of Olive and Other Vegetable Oils [electronic resource] : New Analytical Methods

0
索取号：
作者：Lerma Garc铆a、 Mar铆a Jes煤s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号：
作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software for People [electronic resource] : Fundamentals, Trends and Best Practices

0
索取号：
作者：Maedche、 Alexander.、Botzenhardt、 Achim.、Neer、 Ludwig.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Neural Networks-ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II

0
索取号：
作者：Wang、 Jun.、Yen、 Gary G.、Polycarpou、 Marios M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Neural Networks-ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I

0
索取号：
作者：Wang、 Jun.、Yen、 Gary G.、Polycarpou、 Marios M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings

0
索取号：
作者：K盲rkk盲inen、 Juha.、Stoye、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

0
索取号：
作者：Pankratius、 Victor.、Philippsen、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Systems, Software and Services Process Improvement [electronic resource] : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

0
索取号：
作者：Winkler、 Dietmar.、O鈥機onnor、 Rory V.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algorithm Theory-SWAT 2012 [electronic resource] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

0
索取号：
作者：Fomin、 Fedor V.、Kaski、 Petteri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Product-Focused Software Process Improvement [electronic resource] : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings

0
索取号：
作者：Dieste、 Oscar.、Jedlitschka、 Andreas.、Juristo、 Natalia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Deep Brain Stimulation [electronic resource] : A New Frontier in Psychiatry

0
索取号：
作者：Denys、 Damiaan.、Feenstra、 Matthijs.、Schuurman、 Rick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.